Structured Programming and Input Statements

On Slicing of Programs with Input Statements

This paper studies program slicing in the presence of input statements. If unnecessary input statements are sliced away, the remaining input statements are assumed to read the same data as within the entire program. For specifying the relation of one program being a slice of another under this assumption, one needs a formalism for treating “stages of computation”. This paper presents an approac...

Effects of Structured Input and Meaningful Output on EFL Learners' Acquisition of Nominal Clauses

The current second language (L2) instruction research has raised great motivation for the use of both processing instruction and meaningful output instruction tasks in L2 classrooms as the two focus-on-form (FonF) instructional tasks. The present study investigated the effect of structured input tasks (represented by referential and affective tasks) compared with meaningful output tasks (implem...

Functional programming and input/output

Extracting the Parallelism in Program with non-structured statements

Non-structured programs are diicult to parallelize. First, the scope of the non-structured statements may interact and the execution trajectories can overlap, preventing the unique determination of the scope of a control statement. Second, even if the scope of a non-structured statement is determined and is converted into a while loop, this while loop is still diicult to parallelize due to the ...

Induce-Statements and Induce-Expressions: Constructs for Inductive Programming

A for loop is somewhat similar to an inductive argument Just as the truth of a proposition P n depends on the truth of P n the correctness of iteration n of a for loop depends on iteration n having been completed correctly This paper presents the induce construct a new programming construct based on the form of inductive arguments It is more expressive than the for loop yet less expressive than...